value-oriented semantics

面向值的语义学